Towards Mathematical Knowledge Management for Electrical Engineering
نویسندگان
چکیده
We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowledge management: We show that mathematical knowledge arising in electrical engineering can be successfully handled by existing MKM systems, namely by the Mizar system. To this end we consider in this paper network theory and in particular stability of networks. As an example for mathematical knowledge in electrical engineering we present a Mizar formalization of Schur’s theorem. Schur’s theorem provides a recursive, easy method to check for BIBO-stability of networks.
منابع مشابه
Mathematical Analysis of Optimal Tracking Interval Management for Power Efficient Target Tracking Wireless Sensor Networks
In this paper, we study the problem of power efficient tracking interval management for distributed target tracking wireless sensor networks (WSNs). We first analyze the performance of a distributed target tracking network with one moving object, using a quantitative mathematical analysis. We show that previously proposed algorithms are efficient only for constant average velocity objects howev...
متن کاملTowards Knowledge Management: an Exploratory Study for Developing a KM Framework in Iran
This paper is to develop a knowledge management (KM) model in some Iranian academic research centers (ARC) based on KM critical success factors. General KM critical success factors (CSF) were identified through literature review. Then the research procedure led to the identification of KM critical success factors in Iranian ARCs including 16 different factors. It was done through first stage su...
متن کاملExtraction of Respiratory Signal Based on Image Clustering and Intensity Parameters at Radiotherapy with External Beam: A Comparative Study
Background: Since tumors located in thorax region of body mainly move due to respiration, in the modern radiotherapy, there have been many attempts such as; external markers, strain gage and spirometer represent for monitoring patients’ breathing signal. With the advent of fluoroscopy technique, indirect methods were proposed as an alternative approach to extract patients’ breathing signals...
متن کاملAn ODL system and Virtual Class for the electrical engineering sector
The rapid development of information and communication technologies (ICTs) and the move towards more knowledge-intensive, interdependent and internationalized societies created new challenges and opportunities for the design and delivery of education. This evolution also influenced the educational branches of life long training, continuing vocational training and distance training. This paper p...
متن کاملA Mathematical Model for Scheduling Elective Surgeries for Minimizing the Waiting Times in Emergency Surgeries
The ever-increasing demands for surgeries and the limited resources force hospitals to have efficient management of resources, especially the expensive ones like operating rooms (ORs). Scheduling surgeries including sequencing them, assigning resources to them and determining their start times is a complicated task for hospital managers. Surgery referrals usually include elective surgeries that...
متن کامل